package edu.pku.sei.autounit.core;

import java.util.Map;

import edu.pku.sei.autounit.reflect.Type;
import edu.pku.sei.autounit.util.Statements;

public class DefaultVariable implements Variable{
	private Statements init;
	private String value;
	private Type type;

	public DefaultVariable(Type type,Statements init,String value) {
		this.type = type;
		this.init = init;
		this.value = value;
	}

	public Statements getInitCode(Map<String, String> map) {
		return init;
	}

	public String getValue() {
		return value;
	}

	public Type getType() {
		return type;
	}

}
